1. Formal Methods and Software Engineering
المؤلف: \ edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science.,Computer networks.,Computer programming.,علوم کامپیوتر,شبکههای رایانه ای ,برنامهنویسی
رده :
QA75
.
5
.
F61
2015
E-Book
,
